Michael Hanus: Z-Library में खोज करें

ज्ञान और संस्कृति के लिए आपका प्रवेश द्वार। सभी के लिए सुलभ।

Don't use scam websites

पुस्तकें (22)
सबसे लोकप्रिय
- इसके अनुसार क्रमबद्ध करें×
- सबसे लोकप्रिय
- सबसे अच्छा मिलान
- हाल ही में जोड़ी गई पुस्तकें
- शीर्षक के अनुसार (A-Z)
- शीर्षक के अनुसार (Z-A)
- साल के अनुसार
- फ़ाइल आकार ↓
- फ़ाइल आकार ↑
सूची
- सूची
- टेबल

1

Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Springer International Publishing

Dietmar Seipel, Michael Hanus, Salvador Abreu

साल:

2018

भाषा:

english

फ़ाइल:

PDF, 5.96 MB

0 / 0

english, 2018

2

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (eds.)

साल:

1996

भाषा:

english

फ़ाइल:

DJVU, 3.57 MB

0 / 0

english, 1996

3

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (eds.)

साल:

2009

भाषा:

english

फ़ाइल:

PDF, 2.46 MB

0 / 0

english, 2009

4

Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6,

Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6,

Springer-Verlag Berlin Heidelberg

Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann (auth.), Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein (eds.)

साल:

2005

भाषा:

english

फ़ाइल:

PDF, 3.52 MB

0 / 0

english, 2005

5

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Springer-Verlag Berlin Heidelberg

Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck (auth.), Herbert Kuchen (eds.)

साल:

2011

भाषा:

english

फ़ाइल:

PDF, 1.95 MB

0 / 0

english, 2011

6

Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Springer International Publishing

Michael Hanus, Ricardo Rocha (eds.)

साल:

2014

भाषा:

english

फ़ाइल:

PDF, 6.24 MB

0 / 0

english, 2014

7

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

John Hughes (auth.), Michael Hanus (eds.)

साल:

2007

भाषा:

english

फ़ाइल:

PDF, 3.45 MB

0 / 0

english, 2007

8

Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge

Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge

Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein

साल:

2005

भाषा:

english

फ़ाइल:

PDF, 3.52 MB

0 / 0

english, 2005

9

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.)

साल:

1992

भाषा:

english

फ़ाइल:

DJVU, 4.27 MB

0 / 0

english, 1992

10

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.)

साल:

1997

भाषा:

english

फ़ाइल:

PDF, 18.80 MB

0 / 0

english, 1997

11

Lecture Notes in Aetificial Intelligence 3392 Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management,INAP 2004

Lecture Notes in Aetificial Intelligence 3392 Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management,INAP 2004

Springer-Verlag

Oskar Bartenstein, Ulrich Geske, Michael Hanus, Dietmar Seipel, INAP 2004, International Conference on Applications of Declarative Programming and Knowledge Management, WLP 2004, Workshop on Logic Programming, Dietmar Seipel

साल:

2005

भाषा:

English

फ़ाइल:

PDF, 160.95 MB

0 / 0

English, 2005

12

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

John Hughes (auth.), Michael Hanus (eds.)

साल:

2007

भाषा:

english

फ़ाइल:

PDF, 4.30 MB

0 / 0

english, 2007

13

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (eds.)

साल:

2009

भाषा:

english

फ़ाइल:

PDF, 5.44 MB

0 / 0

english, 2009

14

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

John Hughes (auth.), Michael Hanus (eds.)

साल:

2007

भाषा:

english

फ़ाइल:

PDF, 3.18 MB

0 / 5.0

english, 2007

15

Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings

Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings

Michael Hanus, Atsushi Igarashi, (eds.)

साल:

2022

भाषा:

english

फ़ाइल:

PDF, 8.01 MB

0 / 5.0

english, 2022

16

Problemlösen mit PROLOG

Problemlösen mit PROLOG

Vieweg+Teubner Verlag

Michael Hanus (auth.)

साल:

1987

भाषा:

german

फ़ाइल:

PDF, 5.26 MB

0 / 0

german, 1987

17

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ulrich Geske, Hans-Joachim Goltz (auth.), Dietmar Seipel, Michael Hanus, Armin Wolf (eds.)

साल:

2009

भाषा:

english

फ़ाइल:

PDF, 3.51 MB

0 / 0

english, 2009

18

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Springer-Verlag Berlin Heidelberg

Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck (auth.), Herbert Kuchen (eds.)

साल:

2011

भाषा:

english

फ़ाइल:

PDF, 1.75 MB

0 / 0

english, 2011

19

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.)

साल:

1997

भाषा:

english

फ़ाइल:

DJVU, 2.60 MB

0 / 0

english, 1997

20

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (eds.)

साल:

1996

भाषा:

english

फ़ाइल:

PDF, 11.50 MB

0 / 0

english, 1996

21

Problemlösen mit PROLOG

Problemlösen mit PROLOG

साल:

1987

भाषा:

german

फ़ाइल:

DJVU, 1.74 MB

0 / 0

german, 1987

22

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ulrich Geske, Hans-Joachim Goltz (auth.), Dietmar Seipel, Michael Hanus, Armin Wolf (eds.)

साल:

2009

भाषा:

english

फ़ाइल:

PDF, 4.43 MB

0 / 0

english, 2009